Publications de Yamine AIT AMEUR
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
Reflexive Event-B: Semantics and Correctness The EB4EB framework
IEEE Transactions on Reliability, 2022, pp.1-16. ⟨10.1109/TR.2022.3219649⟩
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Yamine Aït-Ameur, Judy Bowen, José Campos, Philippe Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems
Interacting with Computers, 2021, Special Issue: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems, 33 (1), pp.1-2. ⟨10.1093/iwc/iwab005⟩
Abdelkrim Chebieb, Yamine Aït-Ameur
A formal model for plastic human computer interfaces
Frontiers of Computer Science, 2018, 12 (2), pp.351-375. ⟨10.1007/s11704-016-5460-3⟩
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicaël Bedouet, Romain Kervarc, Benoît Chausserie-Laprée, Béatrice Larzul
A scalable model based approach for data model evolution: Application to space missions data models
Computer Languages, Systems and Structures, 2018, 54, pp.358-385. ⟨10.1016/j.cl.2018.08.001⟩
Zoubeyr Farah, Yamine Aït-Ameur, Meriem Ouederni, Kamel Tari
A correct-by-construction model for asynchronously communicating systems
International Journal on Software Tools for Technology Transfer, 2017, 19 (4), pp.465-485. ⟨10.1007/s10009-016-0421-6⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
IEEE Transactions on Services Computing, 2017, 10 (1), pp.107–120. ⟨10.1109/TSC.2016.2594782⟩
Yamine Aït-Ameur, Mickael Baron, Ladjel Bellatreche, Stéphane Jean, Eric Sardet
Ontologies in engineering: the OntoDB/OntoQL platform
Soft Computing, 2017, 21 (2), pp.369-389. ⟨10.1007/s00500-015-1633-5⟩
Kahina Hacid, Yamine Aït-Ameur
Handling Domain Knowledge in Design and Analysis of Design Models
Electronic Communications of the EASST, 2017, 74, pp.1-21. ⟨10.14279/tuj.eceasst.74.1045.1029⟩
Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
International Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Yamine Aït-Ameur, Dominique Méry
Making explicit domain knowledge in formal system development
Science of Computer Programming, 2016, 121 (100–127), ⟨10.1016/j.scico.2015.12.004⟩
Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
A formal model for output multimodal HCI – An Event-B formalization
Computing, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩
Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Ahmed-Nacer Mohamed
Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.521-546. ⟨10.3166/TSI.34.523-548⟩
Stéphane Jean, Yamine Aït-Ameur, Guy Pierra
OntoQL: An Alternative to Semantic Web Query Languages
International Journal of Semantic Computing, 2015, 9 (1), pp.105-137. ⟨10.1142/S1793351X1550004X⟩
Idir Ait-Sadoune, Yamine Ait Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification
Dans : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, p. 1-33, mars 2013.
Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont
Proof automation for Event-B theories
10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Standalone Event-B models analysis relying on the EB4EB meta-theory
9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
EB4EB: A Framework for Reflexive Event-B
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Event-B Refinement for Continuous Behaviours Approximation
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Standard Conformance-by-Construction with Event-B
FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur
Data-types definitions: Use of Theory and Context instantiations Plugins
9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6
Guillaume Dupont, Yamine Aït-Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Ismail Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït-Ameur, Alexei Iliasov, Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Nov 2019, Guangzhou, China. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Alexandra Halchin, Yamine Aït-Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni
Certified embedding of B models in an integrated verification framework
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering – TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicaël Bedouet, Benoît Chausserie-Laprée, Béatrice Larzul
Finding conservative schema evolutions by analysing API changes
The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbonne, Portugal. pp.748-753, ⟨10.18293/SEKE2019-132⟩
Paulius Stankaitis, Alexei Iliasov, Yamine Aït-Ameur, Tsutomou Kobayashi, Fuyuki Ishikawa, Alexander Romanowski
A Refinement Based Method for Developing Distributed Protocols
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Mery
Formal Ontology Driven Model Refactoring
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist
MEDI 2018 – The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153–158, ⟨10.1007/978-3-030-02852-7_14⟩
Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor
Handling Reparation in Incremental Construction of Realizable Conversation Protocols
8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166
Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
6th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), University of Southampton, Jun 2018, Southampton, United Kingdom. pp.155-170
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425–430, ⟨10.1007/978-3-319-91271-4_35⟩
Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
Formal modelling of ontologies within Event-B
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
IMPEX 2017, Nov 2017, Xi’An, China. pp.24 – 33, ⟨10.4204/EPTCS.271.2⟩
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït-Ameur, Julien Ordioni
B-PERFect – Applying the PERF Approach to B Based System Developments
International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172
Lynda Ait Oubelli, Yamine Aït-Ameur, Judicael Bedouet, Benoit Chausserie-Lapree, Beatrice Larzul
Automating the Evolution of Data Models for Space Missions. A Model-Based Approach
7th International Conference on Model and Data Engineering (MEDI 2017), Oct 2017, Barcelone, Spain. pp.340-354
Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d’Ausbourg, Yamine Aït-Ameur
Formal development process of safety critical embedded human machine interface systems
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. pp.1-8, ⟨10.1109/TASE.2017.8285636⟩
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
A System Substitution Mechanism for Hybrid Systems in Event-B
International Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106–121, ⟨10.1007/978-3-319-47846-3_8⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study
21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Kahina Hacid, Yamine Aït-Ameur
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357
Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur
Towards correct Evolution of Conversation Protocols
10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Oct 2016, Tunis, Tunisia. pp.193-201
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït-Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols
MEDI 2016 – Model and Data Engineering – 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Kahina Hacid, Yamine Aït-Ameur
Annotation of Engineering Models by References to Domain Ontologies
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.234-244
Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
ABZ 2016 – 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290–296, ⟨10.1007/978-3-319-33600-8_23⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), Jan 2016, Orlando, FL, United States. pp.31–38, ⟨10.1109/HASE.2016.47⟩
Guillaume Babin, Yamine Aït-Ameur, Shin Nakajima, Marc Pantel
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nov 2015, Nanjing, China. pp.55–70, ⟨10.1007/978-3-319-25942-0_4⟩
Abdelkrim Chebieb, Yamine Aït-Ameur
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), Sep 2015, Nanjing, China. pp.76-86
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B
IEEE International Conference on Services Computing (SCC 2015), Jun 2015, New York, NY, United States. pp.98–105, ⟨10.1109/SCC.2015.23⟩
Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït-Ameur
Requirements Driven Data Warehouse Design: We Can Go Further
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Oct 2014, Corfu, Greece. pp.588-603
Yamine Aït-Ameur, John Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Idir Ait-Sadoune, Yamine Aït-Ameur
Composition Operators for Event-B. CO4EB Rodin plugin
Rodin Workshop 2014, Jun 2014, Toulouse, France
Linda Mohand Oussaid, Yamine Aït-Ameur, Idir Ait Sadoune, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
AAAI Spring Symposium (AAAI 2014), Association for the Advancement of Artificial Intelligence; Stanford University Computer Science Department, Mar 2014, Palo Alto, United States. pp.38-43
Yamine Ait Ameur, Abdelkrim Chebieb
Checking System Substitutability: An Application to Interactive Systems (regular paper)
Dans : International Conference on Computer Science and Its Applications (CIIA 2013), CIIA Conference, Saida, Algérie, 04/05/13-05/05/13 (conférencier invité), Vol. 488, Springer, Studies in Computational Intelligence ISBN 978-3-319-00559-1, p. 3-3, mai 2013.
Résumé Accès : https://doi.org/10.1007/978-3-319-00560-7_2 – https://oatao.univ-toulouse.fr/24908/
BibTeXChedlia Chakroun, Ladjel Bellatreche, Yamine Ait Ameur
It is Time to propose a Complete Methodology for Designing Semantic Databases (short paper)
Dans : International Conference on Web Information Systems and Technologies (WEBIST 2013), Aachen, Allemagne, 08/05/13-10/05/13, Karl-Heinz KREMPELS, Alexander STOCKER (Eds.), SciTePress, p. 160-164, mai 2013.
Résumé Accès : http://doi.org/10.5220/0004372901600164 – https://oatao.univ-toulouse.fr/24907/
BibTeXYouness Bazhar, Yamine Ait Ameur, Stéphane Jean
BeMoRe: a Repository for Handling Models Behaviors (regular paper)
Dans : International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, 27/06/13-29/06/13, KSI : Knowledge Systems Institute, p. 262-267, juin 2013.
Accès : https://www.tib.eu/en/search/id/TIBKAT%3A768520398/Proceedings-SEKE-2013-the-25th-International-Conference/?tx_tibsearch_search%5Bsearchspace%5D=tibub – https://oatao.univ-toulouse.fr/24906/
BibTeXChedlia Chakroun, Ladjel Bellatreche, Yamine Ait Ameur, Nabila Berkani, Stéphane Jean
Be careful when designing semantic databases: Data and concepts redundancy (regular paper)
Dans : IEEE International Conference on Research Challenges in Information Science (RCIS 2013), Paris, France, 29/05/13-31/05/13, Vol. ISBN 978-1-4673-2912-5, ROEL. J WIERINGA, Selmin NURCAN, Colette ROLLAND, Jean-Louis CAVARERO (Eds.), IEEE Computer Society, p. 1-12, mai 2013.
Résumé Accès : http://doi.org/10.1109/RCIS.2013.6577692 – https://oatao.univ-toulouse.fr/24905/
BibTeXYouness Bazhar, Yassine Ouhamou, Yamine Ait Ameur, Emmanuel Grolleau, Stéphane Jean
Persistent Meta-Modeling Systems as Heterogeneous Model Repositories (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2013), Amantea, Italie, 25/09/13-27/09/13, Vol. 8216, Alfredo CUZZOCREA, Sofian MAABOUT (Eds.), Springer-Verlag, LNCS, p. 25-37, septembre 2013.
Résumé Accès : https://doi.org/10.1007/978-3-642-41366-7_3 – https://oatao.univ-toulouse.fr/24904/
BibTeXStepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. (education paper)
Dans : International Conference on Database and Expert Systems Applications (DEXA 2012), Vienne, Autriche, 03/09/12-06/09/12 (conférencier invité), Vol. 7446, Springer-Verlag, LNCS, p. 9-9, septembre 2012.
Yamine Aït-Ameur, Ismail Mendil, Guillaume Dupont, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories
Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
Formal Ontological Analysis for Medical Protocols
Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel
A generic model for system substitution
Romanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75–103, 2016, Computer and Information Science Series, 978-1498742450
Idir Ait-Sadoune, Yamine Aït-Ameur
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
Correct Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8
Yamine Aït-Ameur, Shin Nakajima, Dominique Méry
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Yamine Aït-Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Ait Ameur, Yamine; Schewe, Klaus-Dieter. Elsevier, 131 (Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014), pp.1-2, 2016, Science of Computer Programming, ⟨10.1016/j.scico.2016.09.001⟩
Ladjel Bellatreche, Yamine Aït-Ameur, Anne Monceaux
Computers in Industry : volume 65, issue 9
Bellatreche, Ladjel and and; Ait Ameur, Yamine; Monceaux, Anne; Eric Sardet. Elsevier, 65 (9), 2014, Computers in Industry, ISSN: 0166-3615. ⟨10.1016/j.compind.2014.09.001⟩